CATEGORICAL SEMANTICS OF CONTACT NON-SIMULTANEITY
نویسندگان
چکیده
Категориальная примарно-таксисная семантика контактной разновременности актуализируется в высказываниях с монотаксисными предлогами темпоральной семантики bis, seit, с, tot, sinds, sedert немецком, русском и нидерландском языках. Актуализация примарного таксиса детерминирована семантики, выступающими качестве маркеров или экспликаторов контактного следования предшествования. Примарно-таксисную категориальную семантику эксплицируют монотаксисные предлоги sedert, а предшествования маркируют tot. The categorical primary-taxis semantics of the contact non-simultaneity is actualized in statements with monotaxis prepositions temporal German, Russian and Dutch languages. actualization primary taxis determined by mono-taxis semantics, acting as markers or explicators following precedence. explicated c, precedence marked
منابع مشابه
Categorical semantics of non-commutative logic
Previous work [9, 1, 10] was devoted to proof nets and sequent calculus for NL. Here we study the categorical semantics of NL. One can say that proof nets constitute already a semantics of proofs of NL, but on one hand the extension to non-multiplicative connectives is delicate (boxes) and on the other hand one would like to have a semantics that is more general than syntax (correctness) and cl...
متن کاملCategorical semantics for arrows
Arrows are an extension of the well-established notion of a monad in functional programming languages. This article presents several examples and constructions, and develops denotational semantics of arrows as monoids in categories of bifunctors C×C→ C. Observing similarities to monads – which are monoids in categories of endofunctors C→ C – it then considers Eilenberg-Moore and Kleisli constru...
متن کاملAttribute Grammars and Categorical Semantics
We give a new formulation of attribute grammars (AG for short) called monoidal AGs in traced symmetric monoidal categories. Monoidal AGs subsume existing domain-theoretic, graph-theoretic and relational formulations of AGs. Using a 2-categorical aspect of monoidal AGs, we also show that every monoidal AG is equivalent to a synthesised one when the underlying category is closed, and that there i...
متن کاملCategorical Semantics for Schrödinger’s Equation
Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection betwe...
متن کاملA Categorical Semantics of Event-based Architectures
We propose a mathematical semantics for event-based architectures that serves two main purposes: to characterise the modularisation properties that result from the algebraic structures induced on systems by this discipline of coordination; and to further validate and extend the categorical approach to architectural modelling that we have been building around the language CommUnity with the “imp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vestnik Tverskogo gosudarstvennogo universiteta
سال: 2022
ISSN: ['1995-0152']
DOI: https://doi.org/10.26456/vtfilol/2022.2.007